-
1 аксиоматическая система
Русско-английский большой базовый словарь > аксиоматическая система
-
2 аксиоматическая система
Logics: axiomatic systemУниверсальный русско-английский словарь > аксиоматическая система
-
3 аксиоматическая система
axiomatic system лог.Русско-английский словарь по вычислительной технике и программированию > аксиоматическая система
-
4 аксиоматическая система
axiomatic system мат.Русско-английский научно-технический словарь Масловского > аксиоматическая система
-
5 аксиоматический
-
6 аксиоматический
-
7 аксиоматический
Русско-английский словарь по информационным технологиям > аксиоматический
См. также в других словарях:
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ — АКСИОМАТИЧЕСКАЯ ТЕОРИЯ теория, организованная (построенная) согласно аксиоматическому методу. Первой такой теорией была эллинская геометрия (“Начала” Евклида), заложившая традиции, которым следовали по существу два тысячелетия.… … Философская энциклопедия
АКСИОМАТИЧЕСКАЯ КВАНТОВАЯ ТЕОРИЯ ПОЛЯ — (АКТП) квантовая теория поля (КТП), построенная но образцу аксиоматич. теории, т … Физическая энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Формальная система — неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… … Большая советская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… … Философская энциклопедия
ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ — система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело Френкеля (см. Аксиоматическая теория множеств), типов теории примеры Э. с. а. В. Н. Гришин … Математическая энциклопедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Дедуктивная система — это способ задания множества путем указания исходных элементов (аксиом исчисления) и правил вывода, каждое из которых описывает, как строить новые элементы из исходных. Используются различные термины для обозначения понятия дедуктивной системы:… … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия